A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour
نویسندگان
چکیده
Multi-agent systems exhibit highly dynamic behaviour within dynamic environments. Modelling of individual agents within such systems demands considering both evolving data structures and the control over their internal changing states. In addition, modelling of the overall system implies modelling of the agents’ configuration, including their ability to exchange messages as well as the ability to re-structure their formation over time. This paper presents a formal modelling framework based on Communicating X-machines, allowing the specification of multi-agent software systems with a dynamic structure and behaviour. A case study illustrates the proposed modelling approach.
منابع مشابه
Biologically Inspired Agents: A Framework for Formal Modelling and Simulation of Agents with Elementary Spatial Attributes
Applications of biological or biologically inspired multi-agent systems often assume a certain level of reliability and robustness, which is not always easy to be achieved. Formal modelling and verification of these systems may present many interesting challenges. For instance, formal verification may be cumbersome or even impossible to be applied on models with increased complexity. On the oth...
متن کاملModular Multi-Agent Design
In this paper our aim is to bring together formal specification, automated verification, dynamic agent organisations, and visual modelling in order to provide a simple, but semantically coherent, framework for designing and developing multi-agent systems.
متن کاملVariable Structure Behavioural Controller for Multi-agent Systems
In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework*
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic elements, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005